<html>
<head><meta charset="utf-8"><title>meeting 2018-11-15 · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html">meeting 2018-11-15</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="147753292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753292">(Nov 15 2018 at 16:16)</a>:</h4>
<p>Creating a topic with the correct date =)</p>
<p>cc <span class="user-group-mention" data-user-group-id="810">@WG-unsafe-code-guidelines</span> -- <span class="user-mention" data-user-id="126854">@avadacatavra</span> you going to run?</p>



<a name="147753307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753307">(Nov 15 2018 at 16:16)</a>:</h4>
<p>Helloooo everyone :) Welcome to today's edition of Diane's jetlagged meeting</p>



<a name="147753309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753309">(Nov 15 2018 at 16:16)</a>:</h4>
<p>Hi everyone!</p>



<a name="147753311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753311">(Nov 15 2018 at 16:16)</a>:</h4>
<p>I'll be a little quiet until I finish brushing my teeth</p>



<a name="147753324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753324">(Nov 15 2018 at 16:16)</a>:</h4>
<p>(hi)</p>



<a name="147753367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753367">(Nov 15 2018 at 16:17)</a>:</h4>
<p>Hi!</p>



<a name="147753375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753375">(Nov 15 2018 at 16:17)</a>:</h4>
<p>Today, I have a few things I want to cover:</p>
<ul>
<li>Meeting logistics</li>
<li>Talk about updates</li>
<li>Talk about RFCs</li>
</ul>



<a name="147753379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753379">(Nov 15 2018 at 16:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> do you have anything to add?</p>



<a name="147753435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753435">(Nov 15 2018 at 16:18)</a>:</h4>
<p>function pointer manual (transmute) casts</p>



<a name="147753450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753450">(Nov 15 2018 at 16:18)</a>:</h4>
<p>next discussion topic? (validity invariants)</p>



<a name="147753521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753521">(Nov 15 2018 at 16:19)</a>:</h4>
<p>Are we officially discussing validity invariants now? I've been in SF and totally out of it...(hence my desire to discuss better ways for updates lol)</p>



<a name="147753578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753578">(Nov 15 2018 at 16:20)</a>:</h4>
<p>well not yet but I thought the plan was to switch today</p>



<a name="147753585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753585">(Nov 15 2018 at 16:20)</a>:</h4>
<p>also, do we guarantee <code>sizeof(void*) = sizeof(T*) forall T</code>?</p>



<a name="147753590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753590">(Nov 15 2018 at 16:20)</a>:</h4>
<p>but I guess we first have to see where we stand on layout</p>



<a name="147753605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753605">(Nov 15 2018 at 16:20)</a>:</h4>
<p>/me hasn't opened her PR for her topics...</p>



<a name="147753624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753624">(Nov 15 2018 at 16:20)</a>:</h4>
<p>that sounds about right</p>



<a name="147753635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753635">(Nov 15 2018 at 16:21)</a>:</h4>
<p>Ok, so first, let's talk about meeting logistics</p>



<a name="147753636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753636">(Nov 15 2018 at 16:21)</a>:</h4>
<p>I'd like to "close up" with current topic and move to validity invariants</p>



<a name="147753647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753647">(Nov 15 2018 at 16:21)</a>:</h4>
<p>(<em>however</em>, I think we are supposed to prep a PR giving basic background, in order to do that)</p>



<a name="147753736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753736">(Nov 15 2018 at 16:22)</a>:</h4>
<p>How does everyone feel about making the meeting weekly, so that spontaneous cancellation is less impactful?</p>



<a name="147753741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753741">(Nov 15 2018 at 16:22)</a>:</h4>
<p>I am in favor</p>



<a name="147753749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753749">(Nov 15 2018 at 16:22)</a>:</h4>
<p>(hopefully we can keep them short)</p>



<a name="147753755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753755">(Nov 15 2018 at 16:22)</a>:</h4>
<p>I abstain - EDIT: don't mind much about this.</p>



<a name="147753786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753786">(Nov 15 2018 at 16:23)</a>:</h4>
<p>One option would be to alternate times as well (e.g. have one week at this time, and another at a different time that might be more convenient for others)</p>



<a name="147753803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753803">(Nov 15 2018 at 16:23)</a>:</h4>
<p>do we have enough to talk about, weekly?</p>



<a name="147753812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753812">(Nov 15 2018 at 16:23)</a>:</h4>
<p>unclear</p>



<a name="147753823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753823">(Nov 15 2018 at 16:23)</a>:</h4>
<p>but i'd also be ok with "use that time to catch up on comments" :P</p>



<a name="147753838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753838">(Nov 15 2018 at 16:24)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> you don't want to talk to me once a week? :(</p>



<a name="147753893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753893">(Nov 15 2018 at 16:24)</a>:</h4>
<p>it's definitely hard for me to be good about catching up on threads, which is just a challenge with async communication in general... the one thing I would like to <em>try</em> to avoid is devolving into "all conversations happen during meetings"</p>



<a name="147753903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753903">(Nov 15 2018 at 16:24)</a>:</h4>
<p>(which is partly why I suggested 2 weeks in the first place, to make that harder)</p>



<a name="147753916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753916">(Nov 15 2018 at 16:24)</a>:</h4>
<p>But, more to the point, we're figuring things out as we go along and we can always change our minds again</p>



<a name="147753919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753919">(Nov 15 2018 at 16:24)</a>:</h4>
<p>yeah I am sure we'd be able to <em>fill</em> any number of meetings per week</p>



<a name="147753926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753926">(Nov 15 2018 at 16:25)</a>:</h4>
<p>question is just if that's a good use of our time</p>



<a name="147753951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753951">(Nov 15 2018 at 16:25)</a>:</h4>
<p>I remain dedicated to short meetings that don't devolve into the weeds</p>



<a name="147753997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753997">(Nov 15 2018 at 16:25)</a>:</h4>
<p>but I guess since we only have 30min meetings usually, once a week should be good? no idea, no experience with this^^</p>



<a name="147753999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147753999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147753999">(Nov 15 2018 at 16:25)</a>:</h4>
<p>it does seem like the current "every 2 weeks" is leading to a glacial pace to me</p>



<a name="147754044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754044">(Nov 15 2018 at 16:26)</a>:</h4>
<p>or it's at least a contributing factor</p>



<a name="147754054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754054">(Nov 15 2018 at 16:26)</a>:</h4>
<p>Sounds good--so we'll do weekly meetings</p>



<a name="147754060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754060">(Nov 15 2018 at 16:26)</a>:</h4>
<p>okay sure let's try once a week then</p>



<a name="147754091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754091">(Nov 15 2018 at 16:27)</a>:</h4>
<p>Ok, next agenda item--anyone want to give me a high-level update on threads/discussions?</p>



<a name="147754095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754095">(Nov 15 2018 at 16:27)</a>:</h4>
<p>which threads are even still open?</p>



<a name="147754159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754159">(Nov 15 2018 at 16:28)</a>:</h4>
<p>seems like structs and unions are the only ones done</p>



<a name="147754176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754176">(Nov 15 2018 at 16:28)</a>:</h4>
<p>yeah :(</p>



<a name="147754182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754182">(Nov 15 2018 at 16:28)</a>:</h4>
<p>what about the discussions that have been happening in zulip?</p>



<a name="147754183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754183">(Nov 15 2018 at 16:28)</a>:</h4>
<p>status of the fn ptr PR?</p>



<a name="147754185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754185">(Nov 15 2018 at 16:28)</a>:</h4>
<p>I was reviewing it a bit</p>



<a name="147754196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754196">(Nov 15 2018 at 16:29)</a>:</h4>
<p>(also, <span class="user-mention" data-user-id="132920">@gnzlbg</span>, you were working on the C platform thing, do you feel that's orthogonal? should we open a PR for that?)</p>



<a name="147754207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754207">(Nov 15 2018 at 16:29)</a>:</h4>
<p>(but haven't finished)</p>



<a name="147754227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754227">(Nov 15 2018 at 16:29)</a>:</h4>
<p>I would be up to tackle enums, but I'm also ok if we want to move to semantic invariants and come back to it? seems like we're betraying the point of focusing :)</p>



<a name="147754240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754240">(Nov 15 2018 at 16:29)</a>:</h4>
<p>Let's start the discussions while finishing up the PRs</p>



<a name="147754242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754242">(Nov 15 2018 at 16:29)</a>:</h4>
<p>enums seem important</p>



<a name="147754245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754245">(Nov 15 2018 at 16:29)</a>:</h4>
<p>FEARLESS CONCURRENCY</p>



<a name="147754291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754291">(Nov 15 2018 at 16:30)</a>:</h4>
<p>no, i've closed the PR, I think that once we finish talking about layout and representation, we should maybe create a document containing everything that we require from C</p>



<a name="147754325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754325">(Nov 15 2018 at 16:30)</a>:</h4>
<p>we should at least have someone assigned for the remaining topics</p>



<a name="147754326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754326">(Nov 15 2018 at 16:30)</a>:</h4>
<p><span class="user-mention" data-user-id="137587">@Gankro</span> felt that this is something worth repeating, and that writing that up might discover holes in the other documents</p>



<a name="147754345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754345">(Nov 15 2018 at 16:31)</a>:</h4>
<p>bool, integer, and floating-point representation needs a document</p>



<a name="147754346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754346">(Nov 15 2018 at 16:31)</a>:</h4>
<p>and there's like 9 open issues in topic-repr</p>



<a name="147754362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754362">(Nov 15 2018 at 16:31)</a>:</h4>
<p>I'm working on the bool/integer/fp one</p>



<a name="147754364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754364">(Nov 15 2018 at 16:31)</a>:</h4>
<p>so should we go over <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+sort%3Aupdated-desc+label%3Atopic-repr" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+sort%3Aupdated-desc+label%3Atopic-repr">https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+sort%3Aupdated-desc+label%3Atopic-repr</a> ?</p>



<a name="147754368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754368">(Nov 15 2018 at 16:31)</a>:</h4>
<p><code>bool</code> isn't even in that list...</p>



<a name="147754369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754369">(Nov 15 2018 at 16:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> basically, I want to know three things before I merge</p>



<a name="147754377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754377">(Nov 15 2018 at 16:31)</a>:</h4>
<p>is <code>void* = T*</code> on an abi level</p>



<a name="147754455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754455">(Nov 15 2018 at 16:32)</a>:</h4>
<p>can you <code>transmute&lt;fn(*const T), fn(*const ())&gt;(x)(p)</code></p>



<a name="147754456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754456">(Nov 15 2018 at 16:32)</a>:</h4>
<p>*T is always thin right ?</p>



<a name="147754457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754457">(Nov 15 2018 at 16:32)</a>:</h4>
<p>no</p>



<a name="147754460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754460">(Nov 15 2018 at 16:32)</a>:</h4>
<p>in this case yeah</p>



<a name="147754468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754468">(Nov 15 2018 at 16:32)</a>:</h4>
<p>but not in general</p>



<a name="147754472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754472">(Nov 15 2018 at 16:32)</a>:</h4>
<p>assume Sized t</p>



<a name="147754476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754476">(Nov 15 2018 at 16:32)</a>:</h4>
<p>ok</p>



<a name="147754496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754496">(Nov 15 2018 at 16:33)</a>:</h4>
<p>and can we <code>transmute&lt;fn(&amp;mut T), fn(&amp;T)&gt;(x)(r)</code></p>



<a name="147754500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754500">(Nov 15 2018 at 16:33)</a>:</h4>
<blockquote>
<p>can you <code>transmute&lt;fn(*const T), fn(*const ())&gt;(x)(p)</code></p>
</blockquote>
<p>so there are two questions here:</p>
<ul>
<li>Are they of the same <em>layout</em></li>
<li>And are there relevant validity invariants</li>
</ul>
<p>right? I think the answer to the first is "yes", and <em>probably</em> the second, but that seems like the next focus area</p>



<a name="147754501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754501">(Nov 15 2018 at 16:33)</a>:</h4>
<p><span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> so can you write that up in the PR? AFAIK for the other topics we usually left such things as open questions, we didn't actually make many decisions but mostly documented options, consequences and what people de-facto rely on</p>



<a name="147754518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754518">(Nov 15 2018 at 16:33)</a>:</h4>
<p>(was going to say the same, that prob best to hash it out in the PR)</p>



<a name="147754528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754528">(Nov 15 2018 at 16:33)</a>:</h4>
<p>but it's good to highlight the issues</p>



<a name="147754533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754533">(Nov 15 2018 at 16:33)</a>:</h4>
<p>alright cool, I'll make sure to write it up in unresolved questions and then merge</p>



<a name="147754535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754535">(Nov 15 2018 at 16:33)</a>:</h4>
<p>and remind all of us to go and <em>answer</em> :)</p>



<a name="147754580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754580">(Nov 15 2018 at 16:34)</a>:</h4>
<p>Beautiful</p>



<a name="147754584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754584">(Nov 15 2018 at 16:34)</a>:</h4>
<p>Ok, so we'll actually finish those up</p>



<a name="147754586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754586">(Nov 15 2018 at 16:34)</a>:</h4>
<p>(and yep I think we should lean on unesolved as needed to make progress)</p>



<a name="147754594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754594">(Nov 15 2018 at 16:34)</a>:</h4>
<p>And switch officially to validity invariants</p>



<a name="147754606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754606">(Nov 15 2018 at 16:34)</a>:</h4>
<blockquote>
<p>(and yep I think we should lean on unesolved as needed to make progress)</p>
</blockquote>
<p>I got some thoughts on the transmute-then-call thing, will comment when I see it appear in your PR</p>



<a name="147754615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754615">(Nov 15 2018 at 16:34)</a>:</h4>
<p>I guess it's time to ensure, as <span class="user-mention" data-user-id="120791">@RalfJ</span> said, that everything has someone assigned</p>



<a name="147754621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754621">(Nov 15 2018 at 16:35)</a>:</h4>
<p>i'd <em>really really</em> like to finish this up</p>



<a name="147754642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754642">(Nov 15 2018 at 16:35)</a>:</h4>
<p>oh before that</p>



<a name="147754644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754644">(Nov 15 2018 at 16:35)</a>:</h4>
<p>I think we can merge <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/pull/43" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/pull/43">https://github.com/rust-rfcs/unsafe-code-guidelines/pull/43</a> ?</p>



<a name="147754654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754654">(Nov 15 2018 at 16:35)</a>:</h4>
<p>it seems to be a small addition by <span class="user-mention" data-user-id="120791">@RalfJ</span></p>



<a name="147754662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754662">(Nov 15 2018 at 16:35)</a>:</h4>
<p>wfm</p>



<a name="147754672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754672">(Nov 15 2018 at 16:35)</a>:</h4>
<p>yeah I was told to write that 3 weeks ago, so I did^^</p>



<a name="147754681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754681">(Nov 15 2018 at 16:35)</a>:</h4>
<p>/me done</p>



<a name="147754745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754745">(Nov 15 2018 at 16:36)</a>:</h4>
<p>so <span class="user-mention" data-user-id="126854">@avadacatavra</span> we can assign int+float to you?</p>



<a name="147754748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754748">(Nov 15 2018 at 16:36)</a>:</h4>
<blockquote>
<p>no, i've closed the PR, I think that once we finish talking about layout and representation, we should maybe create a document containing everything that we require from C</p>
</blockquote>
<p>btw <span class="user-mention" data-user-id="132920">@gnzlbg</span> maybe move to an issue?</p>



<a name="147754754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754754">(Nov 15 2018 at 16:36)</a>:</h4>
<p>is bool in that same issue (so it should get renamed)?</p>



<a name="147754755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754755">(Nov 15 2018 at 16:36)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> yes</p>



<a name="147754765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754765">(Nov 15 2018 at 16:36)</a>:</h4>
<p>(oh, I guess that is already done, <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/44" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/44">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/44</a>)</p>



<a name="147754777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754777">(Nov 15 2018 at 16:37)</a>:</h4>
<p>I'll tackle <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/10" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/10">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/10</a></p>



<a name="147754782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754782">(Nov 15 2018 at 16:37)</a>:</h4>
<p>Beautiful</p>



<a name="147754784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754784">(Nov 15 2018 at 16:37)</a>:</h4>
<p>if nobody else wants to :)</p>



<a name="147754788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754788">(Nov 15 2018 at 16:37)</a>:</h4>
<p>I'm also writing a brief introduction</p>



<a name="147754797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754797">(Nov 15 2018 at 16:37)</a>:</h4>
<p>that leaves <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/16" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/16">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/16</a> ?</p>



<a name="147754814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754814">(Nov 15 2018 at 16:37)</a>:</h4>
<p>at least the <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/labels/writeup-needed" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/labels/writeup-needed">writeup-needed</a> label has that + intro as unassigned</p>



<a name="147754863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754863">(Nov 15 2018 at 16:38)</a>:</h4>
<p>I see still 5 unassigned issues in topic-repr^^</p>



<a name="147754864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754864">(Nov 15 2018 at 16:38)</a>:</h4>
<p>/me nomintes <span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> :P</p>



<a name="147754865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754865">(Nov 15 2018 at 16:38)</a>:</h4>
<p>ZST, single-field, vectors</p>



<a name="147754871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754871">(Nov 15 2018 at 16:38)</a>:</h4>
<blockquote>
<p>I see still 5 unassigned issues in topic-repr^^</p>
</blockquote>
<p>well, they don't necessarily <em>all</em> have to be fully resolved, right?</p>



<a name="147754878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754878">(Nov 15 2018 at 16:38)</a>:</h4>
<p>at least I imagined some things would linger as undecided questions</p>



<a name="147754880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754880">(Nov 15 2018 at 16:38)</a>:</h4>
<p>to be revisited</p>



<a name="147754887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754887">(Nov 15 2018 at 16:38)</a>:</h4>
<p>but I'm not sure if that's the best procedure</p>



<a name="147754900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754900">(Nov 15 2018 at 16:38)</a>:</h4>
<p>I also think maybe we can resolve some of them</p>



<a name="147754902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754902">(Nov 15 2018 at 16:38)</a>:</h4>
<p>okay? no idea, I am not following those very closely. they are far away from my core interests^^</p>



<a name="147754903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754903">(Nov 15 2018 at 16:38)</a>:</h4>
<p>at least for now</p>



<a name="147754914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754914">(Nov 15 2018 at 16:38)</a>:</h4>
<p>doesnt seem like much has moved ther the last 2 weeks though</p>



<a name="147754922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754922">(Nov 15 2018 at 16:39)</a>:</h4>
<p>yes I agree</p>



<a name="147754928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754928">(Nov 15 2018 at 16:39)</a>:</h4>
<p>the discussion has reached stasis</p>



<a name="147754931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754931">(Nov 15 2018 at 16:39)</a>:</h4>
<p>As long as we document the pertinent information, I'm happy to leave undecided questions</p>



<a name="147754938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754938">(Nov 15 2018 at 16:39)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I'm fine working on <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/16" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/16">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/16</a></p>



<a name="147754939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754939">(Nov 15 2018 at 16:39)</a>:</h4>
<p>that said, those were the things I explicitly spun out</p>



<a name="147754941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754941">(Nov 15 2018 at 16:39)</a>:</h4>
<p>at least many of them are</p>



<a name="147754944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754944">(Nov 15 2018 at 16:39)</a>:</h4>
<p>from the structs RFC</p>



<a name="147754946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754946">(Nov 15 2018 at 16:39)</a>:</h4>
<p>as "undecided questions"</p>



<a name="147754963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754963">(Nov 15 2018 at 16:39)</a>:</h4>
<p>I think my thought was that we should try to gradually "refine" the set of open issues into smaller and smaller things</p>



<a name="147754965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754965">(Nov 15 2018 at 16:39)</a>:</h4>
<p>I anticipate that we'll do some editing later on and that will be a good time to cirlce back</p>



<a name="147754968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754968">(Nov 15 2018 at 16:39)</a>:</h4>
<p>but leave "open issues" for undecided stuff</p>



<a name="147754973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147754973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147754973">(Nov 15 2018 at 16:39)</a>:</h4>
<p><span class="user-mention" data-user-id="126854">@avadacatavra</span> I would group also vector repr in the integer, bool, and fp document</p>



<a name="147755034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755034">(Nov 15 2018 at 16:40)</a>:</h4>
<p>there is not much to write about vector repr</p>



<a name="147755042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755042">(Nov 15 2018 at 16:40)</a>:</h4>
<p><span class="user-mention" data-user-id="132920">@gnzlbg</span> wfm</p>



<a name="147755067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755067">(Nov 15 2018 at 16:41)</a>:</h4>
<p>Ok, so the last writeups are assigned. We need to open a PR changing the topic and finish up the writeup PR/review process for repr</p>



<a name="147755087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755087">(Nov 15 2018 at 16:41)</a>:</h4>
<blockquote>
<p>but leave "open issues" for undecided stuff</p>
</blockquote>
<p>okay, should we have a tag  for that then?</p>



<a name="147755153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755153">(Nov 15 2018 at 16:42)</a>:</h4>
<p>sure</p>



<a name="147755158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755158">(Nov 15 2018 at 16:42)</a>:</h4>
<p>The last thing I wanted to talk about/bring up is RFCs--one goal of this wg is to output RFCs. The question is how/when. Any thoughts?</p>



<a name="147755161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755161">(Nov 15 2018 at 16:42)</a>:</h4>
<p>rather than using the <em>absence</em> of a writeup-needed tag</p>



<a name="147755162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755162">(Nov 15 2018 at 16:42)</a>:</h4>
<p>e.g., "postponed"?</p>



<a name="147755184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755184">(Nov 15 2018 at 16:43)</a>:</h4>
<blockquote>
<p>The last thing I wanted to talk about/bring up is RFCs--one goal of this wg is to output RFCs. The question is how/when. Any thoughts?</p>
</blockquote>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> and I were discussing and we thought it would make sense to consider some sort of RFC once we tackle validity invariants and loop back to representation</p>



<a name="147755188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755188">(Nov 15 2018 at 16:43)</a>:</h4>
<blockquote>
<p>The last thing I wanted to talk about/bring up is RFCs--one goal of this wg is to output RFCs. The question is how/when. Any thoughts?</p>
</blockquote>
<p>Since repr and validity are somewhat entangled, might make sense to collect them both into one RFC?</p>



<a name="147755218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755218">(Nov 15 2018 at 16:43)</a>:</h4>
<p>I was thinking that the probably fate would be a "by reference" RFC that refers to the text, summarizes main and interesting points, and proposes to move that text to the reference (or some variant of it)</p>



<a name="147755372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755372">(Nov 15 2018 at 16:46)</a>:</h4>
<p>Sounds good--if anyone has ideas about the wg-&gt;rfc process, I'd love to know (I haven't ever actually written an RFC)</p>



<a name="147755430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755430">(Nov 15 2018 at 16:46)</a>:</h4>
<p>I think we are not even close to an RFC at this point.</p>



<a name="147755436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755436">(Nov 15 2018 at 16:46)</a>:</h4>
<p>interesting. I don't really agree.</p>



<a name="147755448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755448">(Nov 15 2018 at 16:46)</a>:</h4>
<p>in particular, it seems like we've defined and stated a lot of things</p>



<a name="147755466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755466">(Nov 15 2018 at 16:47)</a>:</h4>
<p>but what do you think is missing?</p>



<a name="147755492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755492">(Nov 15 2018 at 16:48)</a>:</h4>
<p>(in order to make a "potentially complete" RFC?)</p>



<a name="147755507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755507">(Nov 15 2018 at 16:48)</a>:</h4>
<p>bool, integers, floating point, vectors, validity of <code>&amp;T</code>, enum / unions</p>



<a name="147755546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755546">(Nov 15 2018 at 16:48)</a>:</h4>
<p>all of that except for validity is just in need of being written up, right?</p>



<a name="147755551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755551">(Nov 15 2018 at 16:48)</a>:</h4>
<p>ok :) I was thinking "once we've written those things + finished discussing validity invariants"</p>



<a name="147755560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755560">(Nov 15 2018 at 16:48)</a>:</h4>
<p>and the plan was do finish the validity discussions and then move to RFC</p>



<a name="147755574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755574">(Nov 15 2018 at 16:48)</a>:</h4>
<p><em>however,</em> that could be some time,</p>



<a name="147755579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755579">(Nov 15 2018 at 16:48)</a>:</h4>
<p>so there is an interesting question about</p>



<a name="147755580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755580">(Nov 15 2018 at 16:48)</a>:</h4>
<p>ah ok, so yeah, once we have written and merged those, it would be RFC material, but at this pace :D</p>



<a name="147755596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755596">(Nov 15 2018 at 16:49)</a>:</h4>
<p>we have still producd useful stuff</p>



<a name="147755597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755597">(Nov 15 2018 at 16:49)</a>:</h4>
<p>"vectors" brings up the point of how much of std do we want to talk about?</p>



<a name="147755600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755600">(Nov 15 2018 at 16:49)</a>:</h4>
<p>or will have once we shift to semantic invariants</p>



<a name="147755603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755603">(Nov 15 2018 at 16:49)</a>:</h4>
<p>maybe we should aim to write a blog post or something</p>



<a name="147755608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755608">(Nov 15 2018 at 16:49)</a>:</h4>
<p>drawing attention to this process</p>



<a name="147755609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755609">(Nov 15 2018 at 16:49)</a>:</h4>
<p>bye folks, have to catch my bus!</p>



<a name="147755613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755613">(Nov 15 2018 at 16:49)</a>:</h4>
<p>and the fact that we are starting to have a useful document</p>



<a name="147755619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755619">(Nov 15 2018 at 16:49)</a>:</h4>
<p>and trying to get more eyes on it</p>



<a name="147755623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755623">(Nov 15 2018 at 16:49)</a>:</h4>
<p>could even be a rust-lang blog post sort of thing</p>



<a name="147755624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755624">(Nov 15 2018 at 16:49)</a>:</h4>
<p><span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> vectors is <code>repr(simd)</code></p>



<a name="147755625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755625">(Nov 15 2018 at 16:49)</a>:</h4>
<p>bye <span class="user-mention" data-user-id="120791">@RalfJ</span></p>



<a name="147755642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755642">(Nov 15 2018 at 16:50)</a>:</h4>
<p>(I am imagining once we finish this topic and move to validity invariants)</p>



<a name="147755702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755702">(Nov 15 2018 at 16:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> i think that would be a great idea</p>



<a name="147755713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755713">(Nov 15 2018 at 16:50)</a>:</h4>
<p><span class="user-mention" data-user-id="132920">@gnzlbg</span> ok, so it's not vectors that we're spec'ing, but <code>repr(simd)</code>?</p>



<a name="147755734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755734">(Nov 15 2018 at 16:50)</a>:</h4>
<p>I think we should write up what has consensus about the open layout issues, and everything that does not have consensus, should be an unresolved question with a small summary</p>



<a name="147755763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755763">(Nov 15 2018 at 16:51)</a>:</h4>
<p>ok, I'm enthusiastic about the blog post idea, I guess we don't have to decide who will write it yet</p>



<a name="147755777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755777">(Nov 15 2018 at 16:51)</a>:</h4>
<p>btw, next week is US thanksgiving --- cancel meeting?</p>



<a name="147755785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755785">(Nov 15 2018 at 16:51)</a>:</h4>
<p>I won't be here</p>



<a name="147755789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755789">(Nov 15 2018 at 16:52)</a>:</h4>
<p>yeah, I suspect few of us will be able to attend</p>



<a name="147755829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755829">(Nov 15 2018 at 16:52)</a>:</h4>
<p>Yes--I'll be on PTO and not touching work</p>



<a name="147755849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755849">(Nov 15 2018 at 16:52)</a>:</h4>
<p>I will delete that date from the calendar invite</p>



<a name="147755851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755851">(Nov 15 2018 at 16:52)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I'm on PTO all next week.</p>



<a name="147755855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755855">(Nov 15 2018 at 16:52)</a>:</h4>
<p>the blog will be great. i'm already excited</p>



<a name="147755865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755865">(Nov 15 2018 at 16:52)</a>:</h4>
<p>ok--any last comments?</p>



<a name="147755934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147755934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147755934">(Nov 15 2018 at 16:53)</a>:</h4>
<blockquote>
<p>the blog will be great. i'm already excited</p>
</blockquote>
<p>me too</p>
<p>![minons](<a href="https://media1.giphy.com/media/11sBLVxNs7v6WA/100.gif?cid=3640f6095beda46f5a70724f597f8793" target="_blank" title="https://media1.giphy.com/media/11sBLVxNs7v6WA/100.gif?cid=3640f6095beda46f5a70724f597f8793">https://media1.giphy.com/media/11sBLVxNs7v6WA/100.gif?cid=3640f6095beda46f5a70724f597f8793</a>)</p>
<div class="message_inline_image"><a href="https://media1.giphy.com/media/11sBLVxNs7v6WA/100.gif?cid=3640f6095beda46f5a70724f597f8793" target="_blank" title="https://media1.giphy.com/media/11sBLVxNs7v6WA/100.gif?cid=3640f6095beda46f5a70724f597f8793"><img src="https://media1.giphy.com/media/11sBLVxNs7v6WA/100.gif?cid=3640f6095beda46f5a70724f597f8793"></a></div>



<a name="147756005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147756005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147756005">(Nov 15 2018 at 16:54)</a>:</h4>
<p>weird that zulip shows the url there. what's up with that.</p>



<a name="147756079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147756079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147756079">(Nov 15 2018 at 16:55)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="126854">@avadacatavra</span> for running meeting! &lt;3</p>



<a name="147756094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-11-15/near/147756094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-11-15.html#147756094">(Nov 15 2018 at 16:55)</a>:</h4>
<p>thanks everyone :) see you after thanksgiving!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>